Cs - R 9578 1995
نویسندگان
چکیده
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of 12, 7] and the phase transition system models of 15, 2], allows communication among components using both shared variables and shared actions. The main contributions of this paper are: (1) the deenition of hybrid I/O automata and of an implementation relation based on hybrid traces, (2) the deenition of a simulation between hybrid I/O automata and a proof that existence of a simulation implies the implementation relation, (3) a deenition of composition of hybrid I/O automata and a proof that it respects the implementation relation, and (4) a deenition of receptiveness for hybrid I/O automata and a proof that, assuming certain compatibility conditions, receptiveness is preserved by composition.
منابع مشابه
Dynamic whole-arm dexterous manipulation in the plane
A dynamic model Whole-Arm Dexterous Manipulation In The Plane S.L. Yeap J.C. Trinkle Dept. of CS syeap@cs. tamu.edu Dept. of CS trink@cs . t amu.edu Texas A&M University, College Station, TX 77843-31 12 ' of a dexterous manipulation system can be used for predicting the feasibility of a manipulation plan generated under the quasistatic assumption but executed under dynamic conditions. Contact f...
متن کاملInvolvement of CD45 in adhesion and suppression of apoptosis of mouse malignant T-lymphoma cells.
Mouse malignant T-lymphoma CS-21 cells undergo apoptotic cell death in vitro in the absence of lymph node stromal cells but escape apoptosis and proliferate when they are attached to CA-12 stromal cells. A monoclonal antibody raised against CS-21 cell surface molecules (MCS-5) recognized a M(r) 168,000 protein, inhibited binding of CS-21 cells to CA-12 stromal cells, and suppressed apoptosis in...
متن کاملAntimicrobial activity of CS-940, a new trifluorinated quinolone.
The antimicrobial activity of CS-940, a new trifluorinated quinolone drug, was tested against 761 clinical isolates. CS-940 activity against members of the family Enterobacteriaceae was most similar to that of ciprofloxacin and ofloxacin, with a large range of MICs inhibiting 90% of isolates tested (MIC90S) of 0.015 to 16 micrograms/ml (median MIC90, 0.06 micrograms/ml). CS-940 had greater acti...
متن کاملApoptosis inhibition by anti-M(r) 23,000 (Thy-1) monoclonal antibodies without inducing bcl-2 expression.
Mouse malignant T-lymphoma CS-21 cells grow in vitro in the presence of CA-12 stromal cells, but they undergo apoptotic cell death with DNA fragmentation when cultured alone. Because apoptosis of CS-21 cells was not inhibited by soluble factors secreted from CA-12 stromal cells, cell-cell interactions between the two seemed to be important to inhibit apoptosis. We found that CS-21 cell adhesion...
متن کامل